modal logic

professor li explained the modal logic retrieval system to us.

李教授向我们解释了模态逻辑检索系统。

AI例句精选

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

互联网摘选

The book contains an excellent discussion of modal logic.

这本书包含了有关模态逻辑的精彩探讨.

网络文摘精选

The disagreement between modal logic and the double negative construction of the necessity modals originates in the semantic misplacement.

必要性或必然性模态句的双重否定结构在模态逻辑上所出现的不对应现象源于否定词的语义错位。

互联网摘选

At first, he developed a modal logic semantics, and has achieved notable successes.

起初，他发展了模态逻辑语义学，并取得了引人注目的成就。

互联网摘选

primitive operator set of modal logic system s5

模态逻辑系统S5的本原运算子集

互联网摘选

the modal logic s5, viewed as a theory in s4, is a model of monadic boolean algebras in the same way that s4 is a model of interior algebra.

模态逻辑S5，被看作S4中一个理论，是一元布尔代数的模型，如同模态逻辑S4是内部代数的模型。

互联网摘选

The study of modality may date back to Aristotle, who focused his attention on modal logic.

对情态意义的研究可追溯到亚里士多德时期, 当时的研究重点是情态的哲学概念.

网络文摘精选

Modal logic, as a non-classical logic, is different from classical logic.

模态逻辑作为一种 非 古典逻辑是与古典逻辑不同类型的逻辑.

互联网摘选

tableau-based proving system for medium modal logic ms_4

中介模态逻辑MS4的表推演系统

互联网摘选

monadic boolean algebras also have an important connection to modal logic.

一元布尔代数还与模态逻辑有重要联系。

互联网摘选

The poof of program correctness is an area of an application of modal logic.

程序正确性证明中应用了模态逻辑；

互联网摘选

the modal logic of obligation and permissibility.

讨论义务与权容的模态逻辑。

互联网摘选

Semantic Analyses of Rough Truth for Axioms in Modal Logic

模态逻辑公理的粗糙真语义分析

互联网摘选

there exists the similar relation between the necessitation and modal logic.

对必然化规则和模态逻辑系统来说有类似的结果。

互联网摘选